#include <stdio.h>
#include <stdlib.h>
#include <string.h>


int main(int argc, const char *argv[])
{
	int arr[128]={0};
    char temp[]="0";
    int add=0;
    int i=0;

    while(1)
    {   
        scanf("%s",temp);
        if(0!=strcmp(temp,";"))
        {   
            add=atoi(temp);
            arr[i]=add;
            i++;
            memset(temp,0,strlen(temp));
        }   
        else
        {   
            break;
        }   
    }   

    //arr[strlen(arr)]="\0";
    int j=0;
//    printf("%d\n",sizeof(arr));
    for(j=0;j<i;j++)
    {
        printf("%d ",arr[j]);
    }   
    putchar(14);                                                                                             
    return 0;
}


